theory (ACP) Compare CCS. ["Algebra of Communicating Processes with Abstraction", J.A. Bergstra & J.W. Klop, Theor Comp Sci 37(1):77-121 1985]. [Summary?] (1994-11-08)